construction corollary

建构推论